Перевод: со всех языков на все языки

со всех языков на все языки

logique des propositions

  • 1 logique des propositions

    сущ.
    общ. логика высказываний, логика предложений, пропозициональная логика

    Французско-русский универсальный словарь > logique des propositions

  • 2 logique

    1. adj
    vous n'êtes pas logique! — вы непоследовательны; вам недостаёт логики!
    2. f
    logique des propositions — логика предложений, высказываний, пропозициональная логика
    logique des classes — логика классов, исчисление классов
    3) пренебр. абстрактные рассуждения
    4) вчт. логические схемы; логическое устройство; логическая часть

    БФРС > logique

  • 3 логика высказываний

    Dictionnaire russe-français universel > логика высказываний

  • 4 Aussagenlogik (die)

    calcul des propositions, logique des propositions

    Lexique philosophique allemand-français > Aussagenlogik (die)

  • 5 логика предложений

    Dictionnaire russe-français universel > логика предложений

  • 6 пропозициональная логика

    Dictionnaire russe-français universel > пропозициональная логика

  • 7 proposition

    proposition [pʀɔpozisjɔ̃]
    feminine noun
       a. ( = suggestion) proposal
       b. ( = phrase) clause
    * * *
    pʀɔpozisjɔ̃
    1) ( suggestion) suggestion
    2) ( offre) proposal

    faire des propositions à quelqu'uneuph to proposition somebody

    3) Linguistique clause
    Phrasal Verbs:
    * * *
    pʀɔpozisjɔ̃ nf
    1) (= offre) offer, proposal

    J'accepte ta proposition avec plaisir. — I'll be happy to accept your offer.

    J'ai une proposition à vous faire. — I have a proposal to make to you.

    2) POLITIQUE proposal

    sur proposition de; sur la proposition de — proposed by, following a proposal by

    3) LINGUISTIQUE clause
    * * *
    A nf
    1 ( suggestion) suggestion;
    2 ( offre) offer, proposal; faire des propositions concrètes to make concrete proposals; proposition technique/commerciale technical/business proposal;
    3 ( soumis à l'approbation) proposal; sur (la) proposition du maire at the mayor's instigation; proposition de loi bill;
    4 Philos proposition;
    5 Ling clause; proposition principale/subordonnée/relative main/subordinate/relative clause.
    B nfpl faire des propositions à qn to proposition sb.
    [prɔpozisjɔ̃] nom féminin
    1. [suggestion] suggestion
    2. [offre] offer
    3. LOGIQUE & PHILOSOPHIE proposition
    4. [recommandation] recommendation
    proposition consécutive ou de conséquence consecutive ou result clause
    Would you like me to call him for you? Tu veux que je l'appelle?
    If you don't mind ou If it's no trouble. Je veux bien, si ça ne vous dérange pas
    Thanks, but I'd rather do it myself. Merci, mais je préfère le faire moi-même
    Is there anything I can do to help? Est-ce que je peux faire quelque chose?
    That's very kind of you. Oui, merci, c'est très gentil
    No thanks, I'm fine/I can manage. Non, merci, ça va aller/je vais y arriver
    Why don't you let us look after him while you're away? Vous ne voulez pas qu'on s'occupe de lui pendant votre absence ?
    No, really, I'll be fine. Non, ça va aller, je vous assure
    What if I tell him? Et si je le lui disais ?
    Would you mind? Ça ne te dérange pas ?
    Thanks for offering, but I'd better do it myself. C'est gentil, mais il vaut mieux que je le fasse moi-même
    You can stay at my flat for a few days, if you like. Vous pouvez loger chez moi pendant quelques jours, si vous voulez
    Thanks, it's very generous of you to offer. Merci, c'est très gentil de ta part
    Thanks, but we've already got somewhere to stay. Merci, mais nous avons déjà trouvé un endroit

    Dictionnaire Français-Anglais > proposition

  • 8 I conjonction copulative

    [zapst]¶1 [ajoute un second terme qui enchérit] et en outre, et même (= et quidem): jube prandium accurarier... ; atque actutum, Plaut. Men. 208: dis qu'on prépare à dîner... ; et tout de suite; faciam... ac lubens, Ter. Haut. 763: je te ferai [du bien pour tout cela], et de grand coeur; sine tuo quaestu ac maximo quaestu, Cic. Verr. 3, 52: sans que tu aies eu un profit et un très grand profit, cf. 3, 23; Cat. 1, 9, etc. ; praeclaras duas artes constitueres atque inter se pares, Cic. de Or. 1, 236: tu constituerais deux arts éminents, et, j'ajoute, égaux entre eux; ut viris, Romanis dignum est, Liv. 7, 13, 9: de la manière qui convient à des hommes, à des Romains; confitetur atque ita libenter confitetur, ut... Cic. Caec. 24: il avoue, et il avoue si volontiers que..., cf. Verr. 3, 53; Font, 40; Mur. 15, etc.    - avec quidem (equidem): Plaut. Bac. 974, etc.; id estne numerandum in bonis? - ac maxumis quidem, Cic. Leg. 2, 12: doit-on le compter au nombre des biens ? - et même des plus grands biens, cf. de Or. 2, 278; Br. 211; Tusc. 2, 39, etc.    - avec etiam: Plaut. Capt. 777, etc.; infirmā atque etiam aegrā valetudine, Cic. Br. 180: d'une santé faible (délicate) et même maladive, cf. Clu. 111; Mur. 2; Cat, 3, 14, etc.    - avec adeo: respondit mihi paucis verbis atque adeo fideliter, Plaut. Curc. 333: il m'a répondu en peu de mots, mais aussi avec franchise; cum maximo detrimento atque adeo exitio vectigalium, Cic. Verr. 3, 19: pour le plus grand dommage, ou mieux, pour la ruine des impôts publics, cf. Verr. 3, 21; 3, 33; (Clu. 79; Cat. 2, 27; 1, 9, etc.; non petentem atque adeo etiam absentem creatum tradidere quidam, Liv. 10, 5, 14, il fut nommé consul, selon certains historiens, sans faire acte de candidat, et même, mieux que cela, en son absence.    - ac prope, ac paene: et presque: Cic, Verr. 2, 160 ; 3, 78; Dom. 131; Phil 2, 39 ; Div 1, 124, etc. ; Caes. G, 3, 12, 5; 6, 36, 2 [zapst]¶2 simple copule: noctes ac dies, Cic. Arch. 29: nuits et jours; ad frigora atque aestus vitandos, Caes. BG. 6, 22, 3: pour éviter le froid et le chaud; una atque eadem persona, Cic. Cael. 30: une seule et même personne; etiam atque etiam, Cic. Cat. 2, 27, etc.: encore et encore.    - le second terme étant souvent le développement ou la définition plus précise du premier: donum dignum Capitolio atque ista arce omnium nationum, Cic Verr. 5, 184: cadeau digne du Capitole, de cette citadelle de toutes les nations [même emploi de que, cohortahorque Fam. 2, 4, 2]. [zapst]¶3 marquant une opposition entre deux propositions: atque hodie primum vidit, Plaut. Merc. 532: et pourtant il l'a vue aujourd'hui pour la première fois.    - souvent renforcé par tamen: id sustulit, ac tamen eo contentus non fuit, Cic Verr. 4, 190: il enleva cette statue, mais il ne se tint pas pour satisfait, cf. Pis. 3; de Or. 1, 240, etc.    - renforcé par potius: lacrumas mitte ac potius... prospice, Ter. Ad. 335: cesse de pleurer et plutôt considère..., cf. Cic. Amer. 110; Verr. 1, 136; de Or. 1, 220; Off, 1, 67, etc.    - opposant une prop. négative, ac non: quasi vero consilii sit res ac non necesse sit, Caes. BG. 7, 38, 7: comme si vraiment la situation réclamait une délibération et que ce ne fût pas une nécessité de..., cf. Cic. Amer. 92 ; Verr. 5, 169 ; Mil, 92 ; Cat. 2, 12, etc.    - [après une négative] mais plutôt (au contraire): ne cupide quid agerent, atque ut... mallent, Cic. Off, 1, 33: [les engager] à ne rien faire avec passion, à préférer au contraire, cf. Off. 2, 3 ; Leg. 1, 18 ; de Or. 3, 85, etc. [zapst]¶4 [marquant un rapport temporel] et alors (sur ces entrefaites, à cet instant): quo imus, inquam, ad prandium ? atque illi tacent, Plaut. Capt. 479: où allons-nous, dis-je, pour dîner? et ils se taisent; forte per impluvium despexi in proxumum atque ego aspicio, Plaut. Mil. 288: par hasard j'ai regardé par la gouttière chez le voisin, et (alors) j'aperçois; huc mihi caper deerraverat, atque ego Daphnim aspicio, Virg. B. 7, 6: mon bouc s'était égaré de ce côté-ci; et dans ces entrefaites j'aperçois Daphnis (et voilà que...)    - dans la princip. après une subord. temporelle: quom ad portam venio, atque ego illam video praestolarier, Plaut. Ep. 217: quand j'arrive vers la porte, (alors) moi, je la vois qui attend, cf. dum... atque, Plaut. Bac. 279; postquam... atque, Plaut. Merc. 256; quoniam... atque, Plaut. Most. 1050; ut... atque, Plaut. Poen. 650. [zapst]¶5 [en tête d'une phrase, lien logique très lâche et très varié] et j'ajoute que: Cic. Cat. 2, 28; Br. 265, etc.    - et pour conclure: Mur. 22 ; Cat. 3, 10, etc.    - et d'ailleurs: Off. 1, 5 ; 1, 24 ; 1, 36, etc.    - mais (en voilà assez): Off. 1, 27    - [dans un récit, introduisant un fait nouveau] mais alors, or à ce moment: Caes. G. 3, 15, 3; 6, 35, 8, etc.; Cic. Cat. 3, 11, etc.    - [annonçant la fin d'un développement] or, or donc: ac de primo quidem officii fonte diximus, Cic, Off. 1, 19: or donc nous avons traité de la première source du devoir, cf. 1, 41; 1, 46; CM 50. etc.    - [réflexion, souhait] atque ut (ne), et pour que (pour éviter que): Cic, Amer. 14; Verr. 2, 108; Caec. 62; de Or. 2, 235, etc. ; atque utinam: et fasse le ciel que: Cic. Verr. I, 61, etc. II particule de comparaison, [zapst]¶1 après adaeque, aeque, aequus, alius, alio, aliorsum, aliter, consimilis, contra, contrarius, digne, dispar, dissimilis, idem, ita, item, juxta, par, pariter, perinde, pro eo, proinde, pro portione, protinus, secus, sic, similis, similiter, simul, statim (ULP. Dig. I, 16, 1), talis, totidem; voir ces mots [zapst]¶2 sans antécédent marquant l'idée de comparaison: quem esse amicum ratus sum atque ipsus sum mihi, Plaut. Bac. 549: [cet homme] dont j'ai cru qu'il était mon ami comme je le suis de moi-même, cf. Hor. Ep. 1, 16, 32 II ac si = quasi BELL. HISP. 13, 5 ; P. Fest. 78; 226; 247 [zapst]¶3 après un comparatif accompagné d'une négation: Plaut. Cas. 860; Merc. 897; Ter. And. 698; Catul. 61, 172; Lucr. 2, 350; 3, 96, etc.; Virg. En. 3, 561; Hor. S. 1, 1, 46 ; 1, 2, 22, etc.    - sans négat.: Hor. Epo. 15, 5; 12, 11; S. 1, 5, 5; 1, 6, 130.

    Dictionarium latinogallicum > I conjonction copulative

  • 9 atquĕ (ac) --- ac devant les consonnes; [écrit souvent adque dans les mss] et en plus de cela.

    [ABCR]I conjonction copulative [zapst]¶1 [ajoute un second terme qui enchérit] et en outre, et même (= et quidem): jube prandium accurarier... ; atque actutum, Plaut. Men. 208: dis qu'on prépare à dîner... ; et tout de suite; faciam... ac lubens, Ter. Haut. 763: je te ferai [du bien pour tout cela], et de grand coeur; sine tuo quæstu ac maximo quæstu, Cic. Verr. 3, 52: sans que tu aies eu un profit et un très grand profit, cf. 3, 23; Cat. 1, 9, etc. ; præclaras duas artes constitueres atque inter se pares, Cic. de Or. 1, 236: tu constituerais deux arts éminents, et, j'ajoute, égaux entre eux; ut viris, Romanis dignum est, Liv. 7, 13, 9: de la manière qui convient à des hommes, à des Romains; confitetur atque ita libenter confitetur, ut... Cic. Cæc. 24: il avoue, et il avoue si volontiers que..., cf. Verr. 3, 53; Font, 40; Mur. 15, etc.    - avec quidem (equidem): Plaut. Bac. 974, etc.; id estne numerandum in bonis? - ac maxumis quidem, Cic. Leg. 2, 12: doit-on le compter au nombre des biens ? - et même des plus grands biens, cf. de Or. 2, 278; Br. 211; Tusc. 2, 39, etc.    - avec etiam: Plaut. Capt. 777, etc.; infirmā atque etiam ægrā valetudine, Cic. Br. 180: d'une santé faible (délicate) et même maladive, cf. Clu. 111; Mur. 2; Cat, 3, 14, etc.    - avec adeo: respondit mihi paucis verbis atque adeo fideliter, Plaut. Curc. 333: il m'a répondu en peu de mots, mais aussi avec franchise; cum maximo detrimento atque adeo exitio vectigalium, Cic. Verr. 3, 19: pour le plus grand dommage, ou mieux, pour la ruine des impôts publics, cf. Verr. 3, 21; 3, 33; (Clu. 79; Cat. 2, 27; 1, 9, etc.; non petentem atque adeo etiam absentem creatum tradidere quidam, Liv. 10, 5, 14, il fut nommé consul, selon certains historiens, sans faire acte de candidat, et même, mieux que cela, en son absence.    - ac prope, ac pæne: et presque: Cic, Verr. 2, 160 ; 3, 78; Dom. 131; Phil 2, 39 ; Div 1, 124, etc. ; Caes. G, 3, 12, 5; 6, 36, 2 [zapst]¶2 simple copule: noctes ac dies, Cic. Arch. 29: nuits et jours; ad frigora atque æstus vitandos, Caes. BG. 6, 22, 3: pour éviter le froid et le chaud; una atque eadem persona, Cic. Cael. 30: une seule et même personne; etiam atque etiam, Cic. Cat. 2, 27, etc.: encore et encore.    - le second terme étant souvent le développement ou la définition plus précise du premier: donum dignum Capitolio atque ista arce omnium nationum, Cic Verr. 5, 184: cadeau digne du Capitole, de cette citadelle de toutes les nations [même emploi de que, cohortahorque Fam. 2, 4, 2]. [zapst]¶3 marquant une opposition entre deux propositions: atque hodie primum vidit, Plaut. Merc. 532: et pourtant il l'a vue aujourd'hui pour la première fois.    - souvent renforcé par tamen: id sustulit, ac tamen eo contentus non fuit, Cic Verr. 4, 190: il enleva cette statue, mais il ne se tint pas pour satisfait, cf. Pis. 3; de Or. 1, 240, etc.    - renforcé par potius: lacrumas mitte ac potius... prospice, Ter. Ad. 335: cesse de pleurer et plutôt considère..., cf. Cic. Amer. 110; Verr. 1, 136; de Or. 1, 220; Off, 1, 67, etc.    - opposant une prop. négative, ac non: quasi vero consilii sit res ac non necesse sit, Caes. BG. 7, 38, 7: comme si vraiment la situation réclamait une délibération et que ce ne fût pas une nécessité de..., cf. Cic. Amer. 92 ; Verr. 5, 169 ; Mil, 92 ; Cat. 2, 12, etc.    - [après une négative] mais plutôt (au contraire): ne cupide quid agerent, atque ut... mallent, Cic. Off, 1, 33: [les engager] à ne rien faire avec passion, à préférer au contraire, cf. Off. 2, 3 ; Leg. 1, 18 ; de Or. 3, 85, etc. [zapst]¶4 [marquant un rapport temporel] et alors (sur ces entrefaites, à cet instant): quo imus, inquam, ad prandium ? atque illi tacent, Plaut. Capt. 479: où allons-nous, dis-je, pour dîner? et ils se taisent; forte per impluvium despexi in proxumum atque ego aspicio, Plaut. Mil. 288: par hasard j'ai regardé par la gouttière chez le voisin, et (alors) j'aperçois; huc mihi caper deerraverat, atque ego Daphnim aspicio, Virg. B. 7, 6: mon bouc s'était égaré de ce côté-ci; et dans ces entrefaites j'aperçois Daphnis (et voilà que...)    - dans la princip. après une subord. temporelle: quom ad portam venio, atque ego illam video præstolarier, Plaut. Ep. 217: quand j'arrive vers la porte, (alors) moi, je la vois qui attend, cf. dum... atque, Plaut. Bac. 279; postquam... atque, Plaut. Merc. 256; quoniam... atque, Plaut. Most. 1050; ut... atque, Plaut. Poen. 650. [zapst]¶5 [en tête d'une phrase, lien logique très lâche et très varié] et j'ajoute que: Cic. Cat. 2, 28; Br. 265, etc.    - et pour conclure: Mur. 22 ; Cat. 3, 10, etc.    - et d'ailleurs: Off. 1, 5 ; 1, 24 ; 1, 36, etc.    - mais (en voilà assez): Off. 1, 27    - [dans un récit, introduisant un fait nouveau] mais alors, or à ce moment: Caes. G. 3, 15, 3; 6, 35, 8, etc.; Cic. Cat. 3, 11, etc.    - [annonçant la fin d'un développement] or, or donc: ac de primo quidem officii fonte diximus, Cic, Off. 1, 19: or donc nous avons traité de la première source du devoir, cf. 1, 41; 1, 46; CM 50. etc.    - [réflexion, souhait] atque ut (ne), et pour que (pour éviter que): Cic, Amer. 14; Verr. 2, 108; Caec. 62; de Or. 2, 235, etc. ; atque utinam: et fasse le ciel que: Cic. Verr. I, 61, etc. II particule de comparaison, [zapst]¶1 après adæque, æque, æquus, alius, alio, aliorsum, aliter, consimilis, contra, contrarius, digne, dispar, dissimilis, idem, ita, item, juxta, par, pariter, perinde, pro eo, proinde, pro portione, protinus, secus, sic, similis, similiter, simul, statim (ULP. Dig. I, 16, 1), talis, totidem; voir ces mots [zapst]¶2 sans antécédent marquant l'idée de comparaison: quem esse amicum ratus sum atque ipsus sum mihi, Plaut. Bac. 549: [cet homme] dont j'ai cru qu'il était mon ami comme je le suis de moi-même, cf. Hor. Ep. 1, 16, 32 II ac si = quasi BELL. HISP. 13, 5 ; P. Fest. 78; 226; 247 [zapst]¶3 après un comparatif accompagné d'une négation: Plaut. Cas. 860; Merc. 897; Ter. And. 698; Catul. 61, 172; Lucr. 2, 350; 3, 96, etc.; Virg. En. 3, 561; Hor. S. 1, 1, 46 ; 1, 2, 22, etc.    - sans négat.: Hor. Epo. 15, 5; 12, 11; S. 1, 5, 5; 1, 6, 130.

    Dictionarium latinogallicum > atquĕ (ac) --- ac devant les consonnes; [écrit souvent adque dans les mss] et en plus de cela.

См. также в других словарях:

  • Logique des propositions — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

  • Logique des prédicats — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… …   Wikipédia en Français

  • Calcul Des Propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… …   Wikipédia en Français

  • Calcul des propositions — Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C est aussi la première… …   Wikipédia en Français

  • Calcul des propositions — ● Calcul des propositions partie fondamentale de la logique, qui consiste à opérer des calculs sur des propositions à l aide de règles d inférence ne faisant pas intervenir de quantificateur …   Encyclopédie Universelle

  • LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

  • Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

  • Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

  • Theoreme de completude (calcul des propositions) — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P …   Wikipédia en Français

  • Théorème de complétude du calcul des propositions — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P …   Wikipédia en Français

  • Théorème de complétude (calcul des propositions) — Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P du calcul des propositions : ou bien on… …   Wikipédia en Français

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»